Waldén, Marina: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 1st International Workshop - Bergamo, Italy (2015.09.01-2015.09.01)] Proceedings of the 1st International Workshop on Quality-Aware DevOps - QUDOS 2015 - DevOps meets formal modelling in high-criticality complex systems

Olszewska, Marta, Waldén, Marina

Year:

2015

Language:

english

File:

PDF, 411 KB

english, 2015

2

[ACM Press Proccedings of the 10th European Conference - Copenhagen, Denmark (2016.11.28-2016.12.02)] Proccedings of the 10th European Conference on Software Architecture Workshops - ECSAW '16 - Tailoring complexity metrics for simulink models

Olszewska, Marta, Dajsuren, Yanja, Altinger, Harald, Serebrenik, Alexander, Waldén, Marina, van den Brand, Mark G. J.

Year:

2016

Language:

english

File:

PDF, 508 KB

english, 2016

3

NWPT 2017 - Special issue

Waldén, Marina

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 136 KB

english, 2019

4

Beyond particle systems: Operator networks

Mauno Rönkkö, Marina Waldén, Ralph-Johan Back

Journal:

Simulation Modelling Practice and Theory

Year:

2008

Language:

english

File:

PDF, 1.25 MB

english, 2008

5

A Topological Approach to Distributed Computing

Luigia Petre, Kaisa Sere, Marina Waldén

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 1.01 MB

english, 2000

6

Data Refinement of Remote Procedures

Kaisa Sere, Marina Waldén

Journal:

Formal Aspects of Computing

Year:

2000

Language:

english

File:

PDF, 166 KB

english, 2000

7

Guest Editors’ Foreword

Marina Waldén, Luigia Petre

Journal:

The Journal of Logic and Algebraic Programming

Year:

2012

Language:

english

File:

PDF, 161 KB

english, 2012

8

[Lecture Notes in Computer Science] ZB 2003: Formal Specification and Development in Z and B Volume 2651 || A Formal Specification in B of a Medical Decision Support System

Bert, Didier, Bowen, Jonathan P., King, Steve, Waldén, Marina

Year:

2003

Language:

english

File:

PDF, 179 KB

english, 2003

9

Derivation of concurrent programs by stepwise scheduling of Event-B models

Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén

Journal:

Formal Aspects of Computing

Year:

2014

Language:

english

File:

PDF, 335 KB

english, 2014

10

Kaisa Sere: In Memoriam

Petre, Luigia, Troubitsyna, Elena, Waldén, Marina

Journal:

Formal Aspects of Computing

Year:

2014

Language:

english

File:

PDF, 187 KB

english, 2014

11

[IEEE Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) - Adelaide, SA, Australia (2007.12.3-2007.12.6)] Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) - Implementation Issues Concerning the Action Systems Formalism

Degerlund, Fredrik, Walden, Marina, Sere, Kaisa

Year:

2007

Language:

english

File:

PDF, 392 KB

english, 2007

12

[Lecture Notes in Computer Science] ZB 2003: Formal Specification and Development in Z and B Volume 2651 || An Outline Pattern Language for Z: Five Illustrations and Two Tables

Bert, Didier, Bowen, Jonathan P., King, Steve, Waldén, Marina

Year:

2003

Language:

english

File:

PDF, 232 KB

english, 2003

13

[ACM Press the thirteenth annual ACM symposium - Los Angeles, California, United States (1994.08.14-1994.08.17)] Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 - Verification of a distributed algorithm (abstract)

Sere, Kaisa, Waldén, Marina

Year:

1994

Language:

english

File:

PDF, 111 KB

english, 1994

14

[IEEE Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) - Adelaide, SA, Australia (2007.12.3-2007.12.6)] Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) - Implementation Issues Concerning the Action Systems Formalism

Degerlund, Fredrik, Walden, Marina, Sere, Kaisa

Year:

2007

Language:

english

File:

PDF, 392 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски